delegation: do not always generate first argument by aerooneqq · Pull Request #156798 · rust-lang/rust

aerooneqq · 2026-05-21T12:41:46Z

This PR supports not generating delegation's "dead code" - situation when there is no parameters in a source function or we expanded a reuse of a static function without self, in this case we do not have to generate delegation's block even if the user has explicitly specified it.

We generate block:

If there is a single delegation and source function has first param, otherwise error is emitted,
If there is a glob delegation we generate block if the source function has first param and it is method or free function.

Fixes #154427. Part of #118212.
r? @petrochenkov

aerooneqq · 2026-05-22T06:51:46Z

+struct F(S);
+// In glob delegations silently remove first arg if no params or generate default
+// first arg (`arg0`) if it is a static function.
+reuse impl Trait for F { self.0 }


Desugaring:

impl Trait for F { #[attr = Inline(Hint)] fn value(self: _) -> _ { self.0.value() } #[attr = Inline(Hint)] fn r#ref(self: _) -> _ { self.0.r#ref() } #[attr = Inline(Hint)] fn mut_ref(self: _) -> _ { self.0.mut_ref() } #[attr = Inline(Hint)] fn static_empty() -> _ { Trait::static_empty() } #[attr = Inline(Hint)] fn static_one_param(arg0: _) -> _ { Trait::static_one_param(arg0) } }

First arg transformation is not generated even if a static function has first param.

View changes since the review

aerooneqq · 2026-05-22T06:52:22Z

+struct F2(S);
+impl F2 {
+    // In list delegations silently remove first arg if it is not a method.
+    reuse <S as Trait>::{value, r#ref, mut_ref, static_empty, static_one_param} { self.0 }


Desugaring:

#[attr = Inline(Hint)] fn value(self: _) -> _ { <S as Trait>::value(self.0) } #[attr = Inline(Hint)] fn r#ref(self: _) -> _ { <S as Trait>::r#ref(self.0) } #[attr = Inline(Hint)] fn mut_ref(self: _) -> _ { <S as Trait>::mut_ref(self.0) } #[attr = Inline(Hint)] fn static_empty() -> _ { <S as Trait>::static_empty() } #[attr = Inline(Hint)] fn static_one_param(arg0: _) -> _ { <S as Trait>::static_one_param(arg0) }

First arg transformation is not generated even if a static function has first param.

View changes since the review

aerooneqq · 2026-05-22T06:52:48Z

+reuse to_reuse::one_param { self + 1 }
+
+// In list delegations silently remove first arg if there are no params.
+reuse to_reuse::{empty as empty1, one_param as one_param1} { self + 1 }


Desugaring:

// In list delegations silently remove first arg if there are no params. #[attr = Inline(Hint)] fn empty1() -> _ { to_reuse::empty() } #[attr = Inline(Hint)] fn one_param1(arg0: _) -> _ { to_reuse::one_param(self + 1) }

We generated first arg transformation as it is a free function.

View changes since the review

After updates we emit error if target expression is specified for list free functions delegations with parameterless functions.

aerooneqq · 2026-05-22T07:16:56Z

+
+struct F3(S);
+impl Trait for F3 {
+    reuse trait_to_reuse::{value, r#ref, mut_ref, static_empty, static_one_param} { self.0 }


Desugaring:

#[attr = Inline(Hint)] fn value(self: _) -> _ { trait_to_reuse::value(self.0) } #[attr = Inline(Hint)] fn r#ref(self: _) -> _ { trait_to_reuse::r#ref(self.0) } #[attr = Inline(Hint)] fn mut_ref(self: _) -> _ { trait_to_reuse::mut_ref(self.0) } #[attr = Inline(Hint)] fn static_empty() -> _ { trait_to_reuse::static_empty() } #[attr = Inline(Hint)] fn static_one_param(arg0: _) -> _ { trait_to_reuse::static_one_param(arg0) } //~^ ERROR: mismatched types //~| ERROR: mismatched types

self resolves to F3.

View changes since the review

aerooneqq · 2026-05-22T07:18:58Z

+
+struct F4(S);
+impl F4 {
+    reuse trait_to_reuse::{value, r#ref, mut_ref, static_empty, static_one_param} { self.0 }


Desugaring:

#[attr = Inline(Hint)] fn value<impl Trait>(arg0: _) -> _ { trait_to_reuse::value(self.0) } #[attr = Inline(Hint)] fn r#ref<impl Trait>(arg0: _) -> _ { trait_to_reuse::r#ref(self.0) } #[attr = Inline(Hint)] fn mut_ref<impl Trait>(arg0: _) -> _ { trait_to_reuse::mut_ref(self.0) } #[attr = Inline(Hint)] fn static_empty() -> _ { trait_to_reuse::static_empty() } #[attr = Inline(Hint)] fn static_one_param(arg0: _) -> _ { trait_to_reuse::static_one_param(self.0) }

self resolves to first argument, as it is a plain impl and sig_id resolves to free functions not to a trait method in contrast to case with F3. We generated block for static_one_param as it is a free function, in F3 it is an associated function so we generate arg0.

View changes since the review

After updates we emit error if target expression is specified for list free functions delegations with parameterless functions.

rustbot · 2026-05-22T07:22:47Z

The parser was modified, potentially altering the grammar of (stable) Rust
which would be a breaking change.

cc @fmease

petrochenkov · 2026-05-22T13:00:03Z

I think the solution for the dead code problem here brings much worse problems than the initial problem itself.

If the target expression is unused, we can generate something like

fn static_method() {
  let _ = target_expr;
  static_method()
}

instead of messing with the definition hierarchy.

@rustbot author

rustbot · 2026-05-22T13:00:09Z

Reminder, once the PR becomes ready for a review, use @rustbot ready.

petrochenkov · 2026-05-22T13:08:18Z

Ah, the question is what self in target_expr refers to, if there's no first parameter in the signature.
Let's keep it an error for now, we'll come up with something, anything is better than messing with the definition hierarchy.

petrochenkov · 2026-05-23T14:47:48Z

Ah, the question is what self in target_expr refers to, if there's no first parameter in the signature. Let's keep it an error for now, we'll come up with something, anything is better than messing with the definition hierarchy.

Although leaving e.g. self.field as dead code will be almost as harmful as passing it, 99% chance that it won't pass type checking.
I think need to discuss this in more detail on Monday before doing anything.

petrochenkov · 2026-05-27T09:51:46Z

I just realized that removing code here is a future compatibility hazard.
Consider this:

reuse {foo} { std::something_unstable() };

If std::something_unstable() is removed at AST lowering stage, then it will go through name resolution, but won't go through stability checking, and the code will compile.
If later the API is removed instead of being stabilized, then the code will stop compiling due to failing at name resolution stage.

petrochenkov · 2026-05-27T09:58:55Z

Also, removing or not removing the target expression depending on whether the delegation is a part of the list or not is probably not a good language design.

// now do two different things.
reuse foo;
reuse {foo};

I think we'll eventually need to remove the target expression either always, or always for associated functions.
But now we are in experimentation phase, so can try the single-or-not criterion too, it still goes into the right direction.

rustbot · 2026-06-05T05:38:22Z

This PR was rebased onto a different main commit. Here's a range-diff highlighting what actually changed.

Rebasing is a normal part of keeping PRs up to date, so no action is needed—this note is just to help reviewers.

aerooneqq · 2026-06-05T05:40:01Z

@rustbot ready

petrochenkov · 2026-06-05T10:00:08Z

@bors r+

rust-bors · 2026-06-05T10:00:11Z

📌 Commit 31e3588 has been approved by petrochenkov

It is now in the queue for this repository.

@petrochenkov

…-first-arg, r=petrochenkov delegation: do not always generate first argument This PR supports not generating delegation's "dead code" - situation when there is no parameters in a source function or we expanded a reuse of a static function without self, in this case we do not have to generate delegation's block even if the user has explicitly specified it. We generate block: - If there is a single delegation and source function has first param, otherwise error is emitted, - If there is a glob delegation we generate block if the source function has first param and it is method or free function. Fixes rust-lang#154427. Part of rust-lang#118212. r? @petrochenkov

…uwer Rollup of 8 pull requests Successful merges: - #157467 (stdarch subtree update) - #156798 (delegation: do not always generate first argument) - #157450 (mark `Encode`, `Decode`, `Mark` impls as `#[inline]`) - #157190 (Silence recursive RUSTC_LOG_FORMAT_JSON messages) - #157447 (Move cross crate tests into the appropriate folder) - #157470 (Avoid ICE when emitting TargetMachine config errors) - #157474 (Forbid optimize(none) with inline(always) or inline.) - #157475 (Add a smoke test for the optimize attribute.)

@petrochenkov

…-first-arg, r=petrochenkov delegation: do not always generate first argument This PR supports not generating delegation's "dead code" - situation when there is no parameters in a source function or we expanded a reuse of a static function without self, in this case we do not have to generate delegation's block even if the user has explicitly specified it. We generate block: - If there is a single delegation and source function has first param, otherwise error is emitted, - If there is a glob delegation we generate block if the source function has first param and it is method or free function. Fixes rust-lang#154427. Part of rust-lang#118212. r? @petrochenkov

@petrochenkov

…-first-arg, r=petrochenkov delegation: do not always generate first argument This PR supports not generating delegation's "dead code" - situation when there is no parameters in a source function or we expanded a reuse of a static function without self, in this case we do not have to generate delegation's block even if the user has explicitly specified it. We generate block: - If there is a single delegation and source function has first param, otherwise error is emitted, - If there is a glob delegation we generate block if the source function has first param and it is method or free function. Fixes rust-lang#154427. Part of rust-lang#118212. r? @petrochenkov

…uwer Rollup of 12 pull requests Successful merges: - #157467 (stdarch subtree update) - #155453 (apply Cortex-A53 errata 843419 mitigation to the AArch64 Linux targets) - #156798 (delegation: do not always generate first argument) - #157016 (add `extern "tail"` calling convention) - #157450 (mark `Encode`, `Decode`, `Mark` impls as `#[inline]`) - #148183 (rustdoc: Test & document `test_harness` code block attribute) - #157190 (Silence recursive RUSTC_LOG_FORMAT_JSON messages) - #157470 (Avoid ICE when emitting TargetMachine config errors) - #157474 (Forbid optimize(none) with inline(always) or inline.) - #157475 (Add a smoke test for the optimize attribute.) - #157479 (Warn when `#[macro_use]` or `#[macro_escape]` is used on the crate root) - #157486 (Remove unused attributes from issue-29485.rs.) Failed merges: - #157485 (Rename `errors.rs` file to `diagnostics.rs`)

@petrochenkov

…-first-arg, r=petrochenkov delegation: do not always generate first argument This PR supports not generating delegation's "dead code" - situation when there is no parameters in a source function or we expanded a reuse of a static function without self, in this case we do not have to generate delegation's block even if the user has explicitly specified it. We generate block: - If there is a single delegation and source function has first param, otherwise error is emitted, - If there is a glob delegation we generate block if the source function has first param and it is method or free function. Fixes rust-lang#154427. Part of rust-lang#118212. r? @petrochenkov

@aapoalas

Rollup of 12 pull requests Successful merges: - #155453 (apply Cortex-A53 errata 843419 mitigation to the AArch64 Linux targets) - #156798 (delegation: do not always generate first argument) - #157438 (rustdoc: don't link doc(hidden) associated type projections) - #157450 (mark `Encode`, `Decode`, `Mark` impls as `#[inline]`) - #148183 (rustdoc: Test & document `test_harness` code block attribute) - #157190 (Silence recursive RUSTC_LOG_FORMAT_JSON messages) - #157396 (Add @aapoalas to libs review rotation) - #157470 (Avoid ICE when emitting TargetMachine config errors) - #157474 (Forbid optimize(none) with inline(always) or inline.) - #157475 (Add a smoke test for the optimize attribute.) - #157479 (Warn when `#[macro_use]` or `#[macro_escape]` is used on the crate root) - #157486 (Remove unused attributes from issue-29485.rs.) Failed merges: - #157485 (Rename `errors.rs` file to `diagnostics.rs`)

@aapoalas

Rollup of 12 pull requests Successful merges: - #157467 (stdarch subtree update) - #155453 (apply Cortex-A53 errata 843419 mitigation to the AArch64 Linux targets) - #156798 (delegation: do not always generate first argument) - #157438 (rustdoc: don't link doc(hidden) associated type projections) - #157450 (mark `Encode`, `Decode`, `Mark` impls as `#[inline]`) - #157190 (Silence recursive RUSTC_LOG_FORMAT_JSON messages) - #157396 (Add @aapoalas to libs review rotation) - #157470 (Avoid ICE when emitting TargetMachine config errors) - #157474 (Forbid optimize(none) with inline(always) or inline.) - #157475 (Add a smoke test for the optimize attribute.) - #157479 (Warn when `#[macro_use]` or `#[macro_escape]` is used on the crate root) - #157486 (Remove unused attributes from issue-29485.rs.) Failed merges: - #157485 (Rename `errors.rs` file to `diagnostics.rs`)

@petrochenkov

…-first-arg, r=petrochenkov delegation: do not always generate first argument This PR supports not generating delegation's "dead code" - situation when there is no parameters in a source function or we expanded a reuse of a static function without self, in this case we do not have to generate delegation's block even if the user has explicitly specified it. We generate block: - If there is a single delegation and source function has first param, otherwise error is emitted, - If there is a glob delegation we generate block if the source function has first param and it is method or free function. Fixes rust-lang#154427. Part of rust-lang#118212. r? @petrochenkov

@petrochenkov

Rollup merge of #156798 - aerooneqq:delegation-dont-generate-first-arg, r=petrochenkov delegation: do not always generate first argument This PR supports not generating delegation's "dead code" - situation when there is no parameters in a source function or we expanded a reuse of a static function without self, in this case we do not have to generate delegation's block even if the user has explicitly specified it. We generate block: - If there is a single delegation and source function has first param, otherwise error is emitted, - If there is a glob delegation we generate block if the source function has first param and it is method or free function. Fixes #154427. Part of #118212. r? @petrochenkov

rustbot assigned petrochenkov May 21, 2026

rustbot added S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. T-compiler Relevant to the compiler team, which will review and decide on the PR/issue. labels May 21, 2026

aerooneqq force-pushed the delegation-dont-generate-first-arg branch 5 times, most recently from 303d29a to c400cb5 Compare May 22, 2026 06:49

aerooneqq commented May 22, 2026

View reviewed changes

Comment thread compiler/rustc_resolve/src/build_reduced_graph.rs Outdated

aerooneqq force-pushed the delegation-dont-generate-first-arg branch from c400cb5 to 3983a7b Compare May 22, 2026 07:15

aerooneqq commented May 22, 2026

View reviewed changes

aerooneqq marked this pull request as ready for review May 22, 2026 07:22

rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label May 22, 2026

rustbot removed the S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. label May 22, 2026

petrochenkov added the F-fn_delegation `#![feature(fn_delegation)]` label May 22, 2026

rustbot added S-waiting-on-author Status: This is awaiting some action (such as code changes or more information) from the author. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels May 22, 2026

aerooneqq marked this pull request as draft May 25, 2026 11:13

petrochenkov mentioned this pull request May 27, 2026

definitions: remove DefPathTable, use LocalDefId instead of DefIndex #156963

Merged

This comment has been minimized.

Sign in to view

Do not always generate first delegation argument

31e3588

aerooneqq force-pushed the delegation-dont-generate-first-arg branch from fee11df to 31e3588 Compare June 5, 2026 05:38

rustbot added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. and removed S-blocked Status: Blocked on something else such as an RFC or other implementation work. labels Jun 5, 2026

aerooneqq changed the title ~~delegation: do not always generate first argument (pt. 1)~~ delegation: do not always generate first argument Jun 5, 2026

rust-bors Bot added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Jun 5, 2026

JonathanBrouwer mentioned this pull request Jun 5, 2026

Rollup of 8 pull requests #157481

Closed

JonathanBrouwer mentioned this pull request Jun 5, 2026

Rollup of 10 pull requests #157484

Closed

JonathanBrouwer mentioned this pull request Jun 5, 2026

Rollup of 12 pull requests #157492

Closed

jhpratt mentioned this pull request Jun 5, 2026

Rollup of 12 pull requests #157502

Closed

jhpratt mentioned this pull request Jun 5, 2026

Rollup of 12 pull requests #157504

Merged

GuillaumeGomez mentioned this pull request Jun 5, 2026

Rollup of 11 pull requests #157505

Closed

rust-bors Bot merged commit 13dcb5e into rust-lang:main Jun 5, 2026
12 checks passed

rustbot added this to the 1.98.0 milestone Jun 5, 2026

Uh oh!

Conversation

aerooneqq commented May 21, 2026 • edited by rustbot Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

aerooneqq May 22, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Choose a reason for hiding this comment

Uh oh!

aerooneqq May 22, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Choose a reason for hiding this comment

Uh oh!

aerooneqq May 22, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Choose a reason for hiding this comment

Uh oh!

aerooneqq Jun 4, 2026

Choose a reason for hiding this comment

Uh oh!

Uh oh!

aerooneqq May 22, 2026 • edited by rustbot Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Choose a reason for hiding this comment

Uh oh!

aerooneqq May 22, 2026 • edited by rustbot Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Choose a reason for hiding this comment

Uh oh!

aerooneqq Jun 4, 2026

Choose a reason for hiding this comment

Uh oh!

rustbot commented May 22, 2026

Uh oh!

petrochenkov commented May 22, 2026

Uh oh!

rustbot commented May 22, 2026

Uh oh!

petrochenkov commented May 22, 2026

Uh oh!

petrochenkov commented May 23, 2026

Uh oh!

petrochenkov commented May 27, 2026

Uh oh!

petrochenkov commented May 27, 2026

Uh oh!

This comment has been minimized.

rustbot commented Jun 5, 2026

Uh oh!

aerooneqq commented Jun 5, 2026

Uh oh!

petrochenkov commented Jun 5, 2026

Uh oh!

rust-bors Bot commented Jun 5, 2026

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

3 participants

aerooneqq commented May 21, 2026 •

edited by rustbot

Loading

aerooneqq May 22, 2026 •

edited

Loading

aerooneqq May 22, 2026 •

edited

Loading

aerooneqq May 22, 2026 •

edited

Loading

aerooneqq May 22, 2026 •

edited by rustbot

Loading

aerooneqq May 22, 2026 •

edited by rustbot

Loading